1. (inl $\cdot$ ) = (inr $\cdot$ )
\\[0ex]2. 0 = 1
\\[0ex]$\vdash$  False